منابع مشابه
Design Abstractions for Context-Awareness
One of the major challenges in modern distributed computing is to deal with highly dynamic environments. As components are entitled to move across a network whose nodes can, themselves, be mobile, the availability and responsiveness of resources and services are often unpredictable and out of their control [GCI01]. For instance, in the presence of mobility of code, computational resources such ...
متن کاملAbstractions for DNA circuit design
DNA strand displacement techniques have been used to implement a broad range of information processing devices, from logic gates, to chemical reaction networks, to architectures for universal computation. Strand displacement techniques enable computational devices to be implemented in DNA without the need for additional components, allowing computation to be programmed solely in terms of nucleo...
متن کاملLanguage Design for Computationally Sound Communications Abstractions
We are interested in computationally sound implementations for languages of distributed communicating processes, with secure high-level primitives for authentication and secrecy, but without explicit cryptography. We develop such an implementation for a variant of the pi calculus [6]. In this language, security properties can be studied using traces and equivalences that account for the presenc...
متن کاملEffective Influence Abstractions for Organizational Design
Organizational structures often employ abstraction to specify broadly-applicable behavioral roles and guidelines to agents, where abstraction streamlines the design process and leaves agents room for tailoring actions to the evolving situation. Too much abstraction, however, can provide too little guidance towards fruitful joint activities or burden agents with solving complex coordination prob...
متن کاملA novel bracket base design: biomechanical stability.
The aim of this research was to investigate the retention of a bracket equipped with a novel base, the R-system. The design of the bracket base is characterized by concentric grooves. The behaviour of this bracket was compared with a bracket with a conventional mesh base from the same manufacturer. Thirty lower adult bovine incisors were selected and metallic brackets were bonded using the Conc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2020
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2020.02.011